#ifndef USERPROG_EXEC_H
#define USERPROG_EXEC_H
#include "stdint.h"
int32_t sys_execv(const char* path, const char* argv[]);
#endif // USERPROG_EXEC_H